#include "../process/interrupt.h"
#include "../process/schedule.h"
#include "../mm/memory.h"

void main(void)
{
    unsigned int mem_end, mem_start;
/*
    unsigned short * pvga_rom;
	pvga_rom = (unsigned short * )0xB8000;
	*pvga_rom = 0x0c61;
*/
    /*memory init*/
    /*get extend memory size in K, saved in boot.s*/
    mem_end = *((unsigned short*)0x6c00);
    mem_start = 1<<10;
    mem_init(mem_start, mem_end);

    /*initialize IDT(interrupt description table)*/
    idt_init();
    
    // schedule_init
    schedule_init();

    // move to user mode
    MOVE_TO_USER_MODE();
}
